package Runde6;

public class RoboRaupe extends Roboter {
	private double wegstrecke;
	
	/**
	 * @precondition rolle != null
	 * @postcondition create's a new "Raupen"-robot with given params
	 */
	public RoboRaupe(int nr, int betriebsSt, Rolle rolle, double wegstrecke) throws NonUniqueException {
		super(nr,betriebsSt,rolle);
		this.wegstrecke = wegstrecke;
	}
	
	/**
	 * @precondition wegstrecke > 0
	 * @postcondition increases wegstrecke by given value
	 */
	public void addWegstrecke(double wegstrecke) {
		this.wegstrecke += wegstrecke;
	}
	
	/**
	 * @postcondition returns the robot's wegstrecke
	 */
	public double getWegstrecke() {
		return wegstrecke;
	}
}
